Facets of Software Doping

نویسندگان

  • Gilles Barthe
  • Pedro R. D'Argenio
  • Bernd Finkbeiner
  • Holger Hermanns
چکیده

This paper provides an informal discussion of the formal aspects of software doping.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigation of Psychological Relationship between the Level of Religiosity and Doping Susceptibility among Bodybuilding Athletes

Background and Purpose: Due to the advertising of new technologies for the use of biochemical resources to enhance muscle mass, doping is interwoven with the development of the modernized organized sport. Different fields of study, such as history, sociology, and psychology investigate doping with their theoretical methods and frameworks. The present study aimed to investigate the psychological...

متن کامل

Tuning of one-dimensional plasmons by Ag-Doping in Ag-3-ordered atomic wires

We generated arrays of silver wires with a height of 1 atom and an average width of 11 atoms on the Si(557) surface via self-assembly with local × 3 3 order, and investigated the 1D plasmon formation in them using a combination of highresolution electron loss spectroscopy with low-energy electron diffraction. After a series of thermal desorption experiments followed by adding small concentratio...

متن کامل

Photocatalytic water oxidation on F, N co-doped TiO2 with dominant exposed {001} facets under visible light.

Visible-light-responsive anatase TiO(2) platelets with dominant {001} facets were prepared via a facile nitridation reaction from a TiOF(2) precursor. The in situ co-doping of N and F in the anatase TiO(2) nanoparticles leads to drastically enhanced absorption and excellent water oxidation performance in the visible light region.

متن کامل

Cleaved and Etched Facet Nitride Laser Diodes

Room-temperature (RT) pulsed operation of blue (420 nm) nitride-based multiquantum-well laser diodes grown on a-plane and c-plane sapphire substrates has been demonstrated. Structures investigated include etched and cleaved facets as well as doped and undoped quantum wells. A combination of atmospheric and low-pressure metal organic chemical vapor deposition using a modified two-flow horizontal...

متن کامل

The Effect of Doping and the Thickness of the Layers on CIGS Solar Cell Efficiency

The main problemswith the use of fossil fuels is the restrictions on their access and the detrimental consequences of their use which causes a threat to human health and quality of life. Consequently, the use of other energy sources has become necessary. Renewable Energy as a permanent and clean energy source is an answer to this problem. One such energy source includes photovoltaic solar energ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016